Theory of computation - PDFSEARCH.IO - Document Search Engine

Theory of computation
Results: 2087

#	Item
821	UML Tutorial: Finite State Machines Robert C. Martin Engineering Notebook Column C++ Report, June 98 In my last column I presented UML sequence diagrams. Sequence diagrams are one of the many tools in Add to Reading List Source URL: www.foretrade.com Language: English - Date: 2009-09-24 10:00:53 Digital electronics Theoretical computer science UML diagrams Access control Logic Finite-state machine Turnstile State diagram Lock Models of computation Mathematics Automata theory
822	Dependent Types and Program Equivalence Limin Jia Jianzhou Zhao Vilhelm Sjöberg Add to Reading List Source URL: www.seas.upenn.edu Language: English - Date: 2014-07-10 05:47:18 Models of computation Lambda calculus Type theory Simply typed lambda calculus Theory of computation Valuation Type system Equivalence relation Natural deduction Theoretical computer science Mathematics Computer science
823	Computational approaches to analyze complex dynamic systems: model-checking and its applications. Part 2: Model-checking of timed transitions systems Add to Reading List Source URL: www.nii.ac.jp Language: English - Date: 2013-04-03 20:03:57 Computer science Automata theory Concurrency Diagrams Petri net Formal verification Temporal logic Finite-state machine Modal logic Models of computation Applied mathematics Theoretical computer science
824	Symmetric functions of qubits in an unknown basis Ashley Montanaro Department of Computer Science, University of Bristol, Woodland Road, Bristol, BS8 1UB, U.K.∗ (Dated: June 18, 2009) Consider an n qubit computational Add to Reading List Source URL: www.damtp.cam.ac.uk Language: English - Date: 2009-06-18 03:21:13 Quantum information science Models of computation Combinatorics Quantum complexity theory Probabilistic complexity theory Quantum circuit PP Permutation Randomized algorithm Theoretical computer science Mathematics Applied mathematics
825	On the characterization of models of H ∗ Flavien Breuvart ∗ PPS, UMR 7126, Univ Paris Diderot, LIPN, UMR 7030, Univ Paris Nord, Sorbonne Paris Cit´e Abstract Add to Reading List Source URL: www.pps.univ-paris-diderot.fr Language: English - Date: 2014-05-14 11:54:52 Models of computation Mathematics Lambda calculus Symbol Combinatory logic Denotational semantics Spectral theory of ordinary differential equations Curry–Howard correspondence Theoretical computer science Logic in computer science Applied mathematics
826	Part III Michaelmas 2011 QUANTUM COMPUTATION Lecture notes Add to Reading List Source URL: www.damtp.cam.ac.uk Language: English - Date: 2012-02-17 03:45:53 Computational complexity theory Quantum complexity theory Quantum information science Decision tree model Quantum algorithm Deutsch–Jozsa algorithm PP BQP Quantum computer Theoretical computer science Applied mathematics Models of computation
827	Semantics of a Sequential Language for Exact Real-Number Computation J. Raymundo Marcial-Romero a,∗,1, Mart´ın H. Escard´o a a University Add to Reading List Source URL: www.cs.bham.ac.uk Language: English - Date: 2006-11-20 04:57:34 Structure Models of computation Denotational semantics Logic in computer science Power domains Continuous function Complete partial order Scott continuity Function Mathematics Order theory Theoretical computer science
828	D:/Publications/MoSCoE/ecows-2006/ECOWS-2006.dvi Add to Reading List Source URL: www.cs.iastate.edu Language: English - Date: 2006-09-21 19:42:45 Applied mathematics Finite-state machine Function Phase transition Algorithm Mathematics Models of computation Automata theory
829	Automata theory Regular Cost Functions Contributions of the thesis Add to Reading List Source URL: www.liafa.univ-paris-diderot.fr Language: English - Date: 2013-05-01 05:10:06 Computability theory Automata theory Theory of computation Models of computation Church–Turing thesis Finite-state machine Algorithm Decidability Krohn–Rhodes theory Theoretical computer science Computer science Mathematics
830	Unbounded Error Quantum Query Complexity Ashley Montanaro1 , Harumichi Nishimura2 and Rudy Raymond3 December 10, Department of Computer Science, University of Bristol, UK Add to Reading List Source URL: www.damtp.cam.ac.uk Language: English - Date: 2007-12-10 06:35:35 Analysis of algorithms Models of computation Quantum information science Quantum algorithm Decision tree model PP Quantum computer Time complexity Randomized algorithm Theoretical computer science Applied mathematics Computational complexity theory

UPDATE